From: Stephane Glondu <steph@glondu.net>
Date: Tue, 3 Apr 2012 16:14:02 +0000 (+0200)
Subject: Profiling is now available in native code
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~265
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=12870113789cbb863f263125d4f4c16d4b14d4ee;p=ocaml.git

Profiling is now available in native code
---

diff --git a/debian/ocaml-nox.install.in b/debian/ocaml-nox.install.in
index 5f7932d7..481e33c1 100644
--- a/debian/ocaml-nox.install.in
+++ b/debian/ocaml-nox.install.in
@@ -15,6 +15,7 @@
      debian/native-archs @OCamlStdlibDir@
 OPT: usr/bin/ocamlbuild.native
 OPT: usr/bin/ocamlopt
+OPT: usr/bin/ocamloptp
      @OCamlStdlibDir@/stdlib.cma
      @OCamlStdlibDir@/toplevellib.cma
      @OCamlStdlibDir@/dynlink.cma
@@ -124,6 +125,7 @@ OPT: @OCamlStdlibDir@/libthreadsnat.a
      usr/share/man/man3/Weak.Make.3o
      usr/share/man/man3/Weak.S.3o
 OPT: usr/share/man/man1/ocamlopt.1
+OPT: usr/share/man/man1/ocamloptp.1
      usr/share/man/man1/ocamlprof.1
      usr/share/man/man1/ocamlc.1
      usr/share/man/man1/ocamldep.1
@@ -254,6 +256,7 @@ STD: printf.mli
 STD: printf.cmx
 STD: profiling.cmi
 STD: profiling.cmo
+STD: profiling.cmx
 STD: queue.ml
 STD: queue.mli
 STD: queue.cmx